#!/bin/bash
set -e
set -x
MYDIR="${0%/*}"
cd "$MYDIR/.."
source "recipes/common.sh"


# RECIPE START isl
# depends: gmp
reset_mtime isl isl/configure.ac
mkdir -p build/isl
cd build/isl
../../isl/configure \
	${CONFIGURE_ARGS} \
	${AUTOCRAP_KLUDGE}

cd ../..
make_build build/isl

# RECIPE END isl
